The class of all recursive functions fails to possess a natural hierarchical structure, generated predicatively from "within". On the other hand, many (proof-theoretically significant) sub-recursive classes do. This paper attempts to measure the limit of predicative generation in this context, by classifying and characterizing those (predictably terminating) recursive functions which can be successively defined according to an autonomy condition of the form: allow recursions only over well-orderings which have already been "coded" at previous levels. The question is: how can a (...) recursion code a well-ordering? The answer lies in Girard's theory of dilators, but is reworked here in a quite different and simplified framework specific to our purpose. The "accessible" recursive functions thus generated turn out to be those provably recursive in $(\prod_{1}^{1}-CA)_{0}$. (shrink)

Girard’s maxim, that Peano Arithmetic is a theory of one inductive definition, is re-examined in the light of a weak theory EA formalising basic principles of Nelson’s predicative Arithmetic.

Clearly and succinctly describes the standards of God-like living as taught by the Orthodox Church. Eleven chapters deal with our relationships with God, our selves and our neighbors from both the personal and churchly perspectives. Readers will find it a veritable source book of biblical and patristic material on the practical aspects of Orthodox life. Among the topics covered are issues of personal religious life, family life, sex ethics, bioethics, the Christian and culture, the state, peace and war, economic responsibilities, (...) inter-church relations and hundreds of other ethics-related issues. Thoroughly indexed, the material in the book is easy to get to for reference. 2nd printing. (shrink)

This book demonstrates how an interest in political argument leads naturally to a philosophical way of thinking. It analyses both practising politicans and political theorists and is a much needed introudction to two vitally important, and independent, disciplines.

This book examines the underlying theoretical issues concerning the nature of political freedom. Arguing that most previous discussions of such freedom have been too narrowly focused, it explores both conservativism from Edmund Burke to its present resurgence, the radical tradition of Karl Marx, as well as the orthodox liberal model of freedom of John Locke, John Stuart Mill and Isaiah Berlin. Political Freedom argues that these three accounts of political freedom - conservative, liberal and radical - all have internal weaknesses (...) which render them unsatisfactory. In the second part of the book George Brenkert develops an alternative theory of political freedom. Using the guiding concept of empowerment, his model explores individual rights, democratic participation in government and workplace, and the need to provide the material and educational resources to allow individuals to effectively exercise their rights to self-determination. It is a clear and bold attack on the view that there is no link between freedom and power. (shrink)

This article seeks to identify some of the major perspectives in Eastern Orthodox Christianity which provide direction for bioethical-decision making. The article first identifies some historical, theological, and liturgical sources in the Eastern Orthodox tradition which have implications for bioethics. The manuscript also seeks to address the question of the place of religious bioethics within public discussion of issues in bioethics and health care policy. Keywords: bioethics, Eastern Orthodox, faith, liturgy, secular, tradition CiteULike Connotea Del.icio.us What's this?

Eastern Orthodox Christianity carries forward a moral tradition from the earliest Christian period, in the belief that scriptural and patristic teaching remains applicable to the contemporary economic sphere of life. The Church Fathers focused on the ownership of property and the ethical acquisition of wealth and its use; they stressed special concern for the poor and disadvantaged. Carried forward through the Byzantine and modern eras, these early Christian understandings now can be applied through a basic and elementary natural law morality (...) to business activities. The Orthodox approach embodies traditional virtue and character ethics as well. The essay concludes by applying these Orthodox approaches to two current issues: the charging of interest and internet ethics. (shrink)

ABSTRACT In the course of her defence of German protesters against Peter Singer's lectures, Jenny Teichman claims that the right to make use of a public platform is not covered by the principle of freedom of expression. I argue that this view is mistaken, and that she is also wrong to focus on whether Singer deserved a public platform. Instead I suggest that what matters is whether there was an attempt to prevent communication between a speaker and willing hearers. But (...) I agree with Teichman that there are some relevant differences between speaking from a public platform and speaking privately. In particular I argue that protesters have a right, though not one based on freedom of expression, to interrupt a public speaker. Such a right is on a par with the speaker's freedom to draw public attention to the fact that she has opinions which she thinks worthy of a hearing, and in exercising it a protester must not prevent those who wish to hear the speech from doing so. Finally I offer an argument against the view that disrupting Singer's lectures could be seen as a justified interference with freedom of expression. (shrink)

Wilfred Sieg and Stanley S. Wainer. Program Transformation and Proof Transformation.

Following our [6], though with somewhat different methods here, further variants of Goodstein sequences are introduced in terms of parameterized Ackermann–Péter functions. Each of the sequences is shown to terminate, and the proof-theoretic strengths of these facts are calibrated by means of ordinal assignments, yielding independence results for a range of theories: PRA, PA,$\Sigma ^1_1$-DC$_0$, ATR$_0$, up to ID$_1$. The key is the so-called “Hardy hierarchy” of proof-theoretic bounding finctions, providing a uniform method for associating Goodstein-type sequences with parameterized normal (...) form representations of positive integers. (shrink)

Book reviewed in this article: Rights and Advocacy for Retarded People. By Stanley S. Herr. Lexington.

There is a very simple way in which the safe/normal variable discipline of Bellantoni–Cook recursion [S. Bellantoni, S. Cook, A new recursion theoretic characterization of the polytime functions, Computational Complexity 2 97–110] can be imposed on arithmetical theories like PA: quantify over safes and induct on normals. This weakens the theory severely, so that the provably recursive functions become more realistically computable . Earlier results of D. Leivant [Intrinsic theories and computational complexity, in: D. Leivant , Logic and Computational Complexity, (...) Lecture Notes in Computer Science, vol. 960, Springer-Verlag, 1995, pp. 177–194] are re-worked and extended in this new context, giving proof-theoretic characterizations of complexity classes between Grzegorczyk’s E2 and E3. (shrink)

This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.

The Mask of Enlightenment is the most detailed textual and thematic study of Nietzsche's most important but least understood works: Thus Spake Zarathustra. In this book Nietzsche was laying the groundwork for a fundamental philosophical and political revolution on a global scale. One of the difficulties that the text poses is Nietzsche's prophetic style; Stanley Rosen unweaves the complex threads that form the rhetorical voices of the work, and so explains the style in an accessible manner. He rejects recent (...) sceptical, deconstructionist interpretations of Nietzsche, and reveals a coherence underlying the multiple and apparently incompatible intentions embedded in the text. Nietzsche is a figure whose influence on contemporary thought in the humanities and social sciences continues to be enormous. This book is sure to become the definitive study of Zarathustra, and will have a broad appeal to philosophers and students of modern philosophy, intellectual historians, political scientists, and literary theorists. (shrink)

" -- F. Bradford Wallack The twentieth century has seen the greatest innovations in philosophical cosmology since Newton and Descartes, and Alfred North Whitehead was the first and greatest of the philosophers to work out these innovations ...

Water is the major contributor to the eating and keeping qualities and structure of baked products. Its management and control during preparation, processing, baking, cooling and storage is essential for the optimisation of product quality. This successful and highly practical volume describes in detail the role and control of water in the formation of cake batters, bread, pastry and biscuit doughs, their subsequent processing and the baked product. Now in a fully revised and updated second edition, the book has been (...) expanded and developed through the inclusion of new information and references related to the formation and processing of batters and dough into baked products. The new edition includes a selection of case studies based on practical experience in the manufacture and optimisation of baked products. Each case study, illustrated as appropriate, considers the various roles that water may play in different manufacturing contexts. The book is aimed at food scientists and technologists in bakery companies; ingredient suppliers; flour millers; researchers and students in academic food science departments. (shrink)

Jason Stanley's "Knowledge and Practical Interests" is a brilliant book, combining insights about knowledge with a careful examination of how recent views in epistemology fit with the best of recent linguistic semantics. Although I am largely convinced by Stanley's objections to epistemic contextualism, I will try in what follows to formulate a version that might have some prospect of escaping his powerful critique.

In an era when much of what passes for debate is merely moral posturing--traditional family values versus the cultural elite, free speech versus censorship--or reflexive name-calling--the terms "liberal" and "politically correct," are used with as much dismissive scorn by the right as "reactionary" and "fascist" are by the left--Stanley Fish would seem an unlikely lightning rod for controversy. A renowned scholar of Milton, head of the English Department of Duke University, Fish has emerged as a brilliantly original critic of (...) the culture at large, praised and pilloried as a vigorous debunker of the pieties of both the left and right. His mission is not to win the cultural wars that preoccupy the nation's attention, but rather to redefine the terms of battle. In There's No Such Thing as Free Speech, Fish takes aim at the ideological gridlock paralyzing academic and political exchange in the nineties. In his witty, accessible dissections of the swirling controversies over multiculturalism, affirmative action, canon revision, hate speech, and legal reform, he neatly eviscerates both the conservatives' claim to possession of timeless, transcendent values, and the intellectual left's icons of equality, tolerance, and non-discrimination. He argues that while conservative ideologues and liberal stalwarts might disagree vehemently on what is essential to a culture, or to a curriculum, both mistakenly believe that what is essential can be identified apart from the accidental circumstances to which the essential is ritually opposed. In the book's first section, which includes the five essays written for Fish's celebrated debates with Dinesh D'Souza, Fish turns his attention to the neoconservative backlash. In his introduction, Fish writes, "Terms that come to us wearing the label 'apolitical'--'common values', 'fairness', 'merit', 'color blind', 'free speech', 'reason'--are in fact the ideologically charged constructions of a decidedly political agenda. I make the point not in order to level an accusation, but to remove the sting of accusation from the world 'politics' and redefine it as a synonym for what everyone inevitably does." Fish maintains that the debate over political correctness is an artificial one, because it is simply not possible for any party or individual to occupy a position above or beyond politics. Regarding the controversy over the revision of the college curriculum, Fish argues that the point is not to try to insist that inclusion of ethnic and gender studies is not a political decision, but "to point out that any alternative curriculum--say a diet of exclusively Western or European texts--would be no less politically invested." In Part Two, Fish follows the implications of his arguments to a surprising rejection of the optimistic claims of the intellectual left that awareness of the historical roots of our beliefs and biases can allow us, as individuals or as a society, to escape or transcend them. Specifically, he turns to the movement for reform of legal studies, and insists that a dream of a legal culture in which no one's values are slighted or declared peripheral can no more be realized than the dream of a concept of fairness that answers to everyone's notions of equality and jsutice, or a yardstick of merit that is true to everyone's notions of worth and substance. Similarly, he argues that attempts to politicize the study of literature are ultimately misguided, because recharacterizations of literary works have absolutely no impact on the mainstream of political life. He concludes his critique of the academy with "The Unbearable Ugliness of Volvos," an extraordinary look at some of the more puzzing, if not out-and-out masochistic, characteristics of a life in academia. Penetrating, fearless, and brilliantly argued, There's No Such Thing as Free Speech captures the essential Fish. It is must reading for anyone who cares about the outcome of America's cultural wars. (shrink)